Submit Comments

Printer Friendly Version

MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--Sept. 3, 2001--Verisity, Ltd. (Nasdaq:VRST) has announced an initiative for language interoperability between Verisity's e verification language and IBM's Formal Specification Language, Sugar. Under the new initiative, a specification compiler will be developed which will translate functional specifications written in Sugar to Verisity's e language, giving engineers unified access to IBM's RuleBase and FoCs, and Verisity's Specman Elite(TM).

Functional verification is an essential part of the development of integrated circuits and electronic systems. It detects design flaws and ensures design quality before expensive prototyping or production processes begin. Typically, the verification effort associated with chip design programs amounts to 50-70% of the overall development costs. Formal functional specifications form the basis for functional verification, in that they are a key in planning and implementing the design verification process.

This new initiative will serve to connect industry-leading verification technologies from IBM and Verisity by translating formal functional specifications written in Sugar into Verisity's e, thereby giving engineers a unified access to both companies' tools. Verisity's e verification language is the driver for Verisity's market leading testbench automation tool, Specman Elite. IBM's RuleBase is an industry-first functional formal verification tool while FoCs is a tool for synthesizing formal specifications into simulation checkers. In the development of the language compiler, the two companies will provide a unified solution where engineers will be able to leverage their specification language of choice in complex verification workbenches. Sugar was created at IBM's Haifa Research Laboratory in Israel. For more information on IBM's solutions, see http://www.haifa.il.ibm.com/projects/verification/Formal_Methods-Home/ index.html (Due to the length of this URL, it may be necessary to copy and paste this hyperlink into your Internet browser's URL address field).

``Our expectation is that with the introduction of the specification compiler, verification engineers will be able to reuse functional specifications to drive the IBM RuleBase and FoCs tools, as well as the Verisity's Specman Elite, overall leading to verification of higher quality,'' said Dr. Yaron Wolfsthal, Manager of Formal Methods & Technologies of the IBM Research Laboratory in Haifa.

``We recognize the importance of interfacing our leading-edge functional verification automation solutions with IBM's advanced formal verification tools,'' said Yaron Kashai, Vice President of Research and Strategic Technologies for Verisity. ``We expect that the integration between Verisity and IBM's tools will bring excellent benefits to our customers.''

The specification compiler will be developed by NoBug Consulting, a design and verification services and consulting company with operations in the United States, Israel and Europe. NoBug Consulting, a member of Verisity's LicenseE(TM) program (see related release ``NoBug Consulting Licenses Verisity's e Verification Language,'' dated September 3, 2001), will provide the specification compiler to interested parties, as well as offer verification services based on IBM and Verisity tools. ``We feel that linking the best formal verification tool in the market and the best simulation-based verification solution, from IBM and Verisity, respectively, will create a verification tool suite unparalleled by any other verification environments in the EDA industry,'' stated Moshe Shalev, CEO of NoBug.

About Verisity

Verisity is the leading provider of proprietary technologies and software products used to efficiently verify designs of electronic systems and complex integrated circuits that are essential to the communications and other high growth segments of the electronics industry. Verisity's products automate the process of detecting flaws in these designs, enabling customers to deliver higher quality products, accelerate time-to-market and reduce overall product development costs.

Verisity Design, Inc.'s principal executive offices are located in Mountain View, CA. Verisity's principal research and development offices and the corporate headquarters of Verisity Ltd. are located in Rosh Ha'ain, Israel. For more information, see Verisity's web site at www.verisity.com.

Note to Editors: Verisity is a registered trademark of Verisity Design, Inc. LicenseE and Specman Elite are trademarks of Verisity Design, Inc. All other trademarks are the property of their respective holders.

Note: A photo is available at URL:

http://www.businesswire.com/cgi-bin/photo.cgi?pw.090301/bb1

     Verisity Design, Inc., Mountain View
     Jennifer Bilsey, 650/934-6823
     jen@verisity.com